Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
941	Job-Driven (JD) National Emergency Grant (NEG) NEG Electronic Application System (eSystem) User Guide Complete applications must be received by COB May 27, 2014 to be considered for funding Add to Reading List Source URL: www.doleta.gov Language: English - Date: 2014-04-25 14:50:46 Rules of inference Boolean algebra Logic in computer science Mathematics Mathematical logic Theoretical computer science Automated theorem proving
942	The Power of Choice in Random Satisfiability Varsha Dani, University of New Mexico Josep Díaz, Universitat Politècnica de Catalunya Thomas Hayes, University of New Mexico Cristopher Moore, Santa Fe Institute Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2013-08-24 21:10:43 NP-complete problems Automated theorem proving Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation 2-satisfiability Unit propagation Clause Theoretical computer science Mathematics Applied mathematics
943	Ramsey properties of finite measure algebras and topological dynamics of the group of measure preserving automorphisms: some results and an open problem A.S. Kechris, M. Soki´c and S. Todorcevic Add to Reading List Source URL: www.math.caltech.edu Language: English - Date: 2012-09-11 18:12:51 Mathematics Boolean algebra Equivalence of categories Unitary group Order theory Abstract algebra Adjoint functors Algebra
944	SATLIB: An Online Resource for Research on SAT Holger H. Hoos ([removed]) Department of Computer Science University of British Columbia Vancouver, Canada Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2001-08-31 14:15:31 NP-complete problems Logic in computer science Electronic design automation Formal methods Boolean algebra Boolean satisfiability problem Algorithm Satz Graph coloring Theoretical computer science Mathematics Applied mathematics
945	SUPERATOMIC BOOLEAN ALGEBRAS CONSTRUCTED FROM STRONGLY UNBOUNDED FUNCTIONS JUAN CARLOS MART´INEZ AND LAJOS SOUKUP Abstract. Using Koszmider’s strongly unbounded functions, we show the following consistency result: Sup Add to Reading List Source URL: www.math-inst.hu Language: English - Date: 2010-08-29 06:26:53 Large cardinals Cardinal number Constructible universe Tree Ordinal number Papyrus 1 Boolean algebra Symbol Extendible cardinal Mathematical logic Mathematics Forcing
946	1 Implementation of Informational Consciousness Anton P. Železnikar, September 29, 2007 Informational consciousness is a new philosophically founded and formalized concept for the study and implementation of computer-b Add to Reading List Source URL: lea.hamradio.si Language: English - Date: 2007-10-29 12:10:07 Mathematical notation Algebra Boolean algebra Logical connectives Machine code Operand Logical disjunction Consciousness Cognitive science Mind Mathematics
947	jn2004[removed]Complexity: P & NP Goals of this chapter: Given a model of computation and a measure of complexity of computations, it is possible to define the inherent complexity of a class of problems. This is a lowe Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:14 Complexity classes NP-complete problems Mathematical optimization Boolean algebra NP-complete Boolean satisfiability problem P versus NP problem NP Clique problem Theoretical computer science Computational complexity theory Applied mathematics
948	INTERPOLATION OF κ-COMPACTNESS AND PCF ´ JUHASZ ´ ´ SZENTMIKLOSSY ´ ISTVAN Add to Reading List Source URL: www.math-inst.hu Language: English - Date: 2010-08-29 05:46:51 Numbers Cofinality Cardinal number Constructible universe Complete Boolean algebra Weakly compact cardinal Mahlo cardinal Mathematical logic Large cardinals Mathematics
949	Algebraic General Topology∗ Volume 1 Victor Porton Web: http://www.mathematics21.org June 27, 2014 Add to Reading List Source URL: www.mathematics21.org Language: English - Date: 2014-06-27 11:54:36 Algebraic structures Order theory Lattice theory Abstract algebra Mathematical structures Lattice Boolean algebra Category Complete lattice Mathematics Structure Topology
950	CURRICULUM VITAE ILIJAS FARAH, PROFESSOR JUNE[removed]Name email: [removed] Add to Reading List Source URL: www.math.yorku.ca Language: English - Date: 2014-06-19 20:42:15 Academia Algebra John von Neumann Boolean algebra Linda Keen John Lane Bell Mathematics Science George A. Elliott

UPDATE